Resultado da Pesquisa

A expressão de busca foi <related:sid.inpe.br/mtc-m21c/2019/09.24.17.06.13-0:en:title:2:test model generation based:singularity methodology automatic unit test data generation c++ applications based model checking counterexamples:>.
27 referências similares foram encontradas(inclusive a original) buscando em 17 dentre 17 Arquivos
(este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 03/05/2024 07:32.

Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples
Eras, E. R.
Artigo em Evento - sem Qualis - 2019 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00

Singularity: a methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples
Eras, E. R.; Santiago Júnior, V. A.; Santos, L.
Artigo em Evento - sem Qualis - 2019 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00

A model-based approach for robustness test generation
Yano, T.; Martins, E.; Sousa, F. L.
Artigo em Evento - sem Qualis - 2011 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.36

Many-objective test case generation for graphical user interface applications via search-based and model-based testing
Santiago Júnior, V. A.; Özcan, E.; Balera, J. M.
Artigo em Revista Científica - Qualis: 10.0 - 2022 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.31

Integrating model checking and model based testing for industrial software development
Villani, E.; Pontes, R. P.; Coracini, G. K.; Ambrósio, A. M.
Artigo em Revista Científica - Qualis: 8.6 - 2019 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.29

A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing
Pontes, R. P.; Morais, M. H. E.; Véras, P. C.; Ambrósio, A. M.; Villani, E.
Artigo em Evento - sem Qualis - 2009 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.25

An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
Santiago, V.; Vijaykumar, N. L.; Guimarães, D. S.; Amaral, A. S.; Ferreira, É.
Artigo em Evento - sem Qualis - 2008 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.25

An Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models
Santiago Júnior, V. A.; Vijaykumar, N. L.; Guimarães, D. S.; Amaral, A. S. M. S.; Souza, É. F.
Artigo em Evento - sem Qualis - 2008 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.25

Sensitivity tests with a biosphere model based on BATS, suitable for coupling with a simple climatic model
Franchito, S. H.; Vadlamudi, B. R.; Varejão-Silva, M. A.
Artigo em Revista Científica - sem Qualis - 1998 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.22

GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
Santiago Júnior, V. A.; Vijaykumar, N. L.; Ferreira, É.; Guimarães, D. S.; Costa, R. C.
Artigo em Evento - sem Qualis - 2012 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.22